Lothar Collatz (1910-1990)