Michael Degen, er wurde 90 Jahre alt. R.I.P.