Nach den bisherigen Rueckmeldungen scheint Mittwochs 12:15 - 13:45 Raum 31/449a keine wirkliche Verbesserung zu sein. Als Alternative waere noch folgendes moeglich: Mittwochs 08:30 - 10:00 Raum 31/E0[56] Haben wir zu diesem fruehen Termin auch Uberschneidungen? /js -- Juergen Schoenwaelder <http://www.informatik.uni-osnabrueck.de/schoenw/>