Author: Michael Kohlenbach
Born: 1952