Ján Mňačko

aka. Ján Pfleger, Ján Haupt