You know, there is always something more important to be done than setting your own web pages. Still you can find here some loosely collected information about what I do or did at some point. This is of course highly incomplete but who really cares? Please note that things are presented in no particular order. Neither chronological nor alphabetical, nor in the order of importance... Enjoy or get bored or whatever ;-)