Antonín Hoffmann z programu z roku 1955 vydaného k uvedení jeho operety Konec Dona Juana