Peter Langer 1922-2012