Armin Hofmann: 1920–2020