Baumann, Hans (1914–1988)