Jens Peter Groth-Jensen (1918-2018)