Changed auditorium.inf.tu-dresden.de to auditoriumCS.inf.tu-dresden.de in mailer.