Meta information on this website
web site diagnostics
Please report errors to Andreas
Hirczy <email@example.com> or the maintainer of the erroneous
webpage (hopefully found at the bottom on any page).
You can download the "itp" logo in several different sizes: ~4.4 kBytes / ~7.6 kBytes / ~18 kBytes / ~45 kBytes / ~133 kBytes
These pages have been created with the help of emacs, Website META Language, Perl, Round Robin
Database Tools, Bash and
The site is powered by Linux, Apache and HTdig.
Linux® is a registered trademark of Linus Torvalds