Paul Willy Høyskel dør.