Text this: Pier Carlo Masini, storico e giornalista, 1945-1957