Fix Technical Universit Munich domains

While tu-muenchen.de is indeed the homepage of that university, the
email addresses of staff are @tum.de, while the email adresses of
students are @mytum.de.