Einladung: Martin Eiter. 2004