Průvodce po Národním divadle v Praze - Matějček, Antonín