Barikáda Praha hrdinové z pražských barikád a zákulisí osvobození Prahy v květnu 1945 - Marek, Jindřich