In memoriam Willy Carlsen