Henning Brandis — German university teacher (1916-2004)