Author: Anton Bachmair
Born: 1943