Richard Wirtz: General der Wehrmacht und Pionier-Offizier.