Title: In Memoriam Gerhard Kraus