Henri Holzgen (1926-2015)