NEKROLOG: Mogens Ingerslev (1913-1992)