Paul Hürlimann-Bossart 1928-2018