"Lothar Collatz"