Události pražské v červnu 1848 - Mahler, Oldřich