RIP Jan-Peter van Amerongen of Hypex