Please take a look at the new web page of André Platzer and his page about André Platzer for more information and update your bookmarks.