in memoriam gerard van thienen (1939-2015)