Posts for informatik-2k02, 04-2003