Herman Vingerling 1924-2015