jak jsme s hoffmannem vyjeli pražský vršky