Ernst Heinrichsohn (1920 – 1994).