Paul Feiler 1918-2013