Is MAMMA yours?

Prove you run mamma.is.tue.mpg.de and the listing becomes yours to edit. Two ways: a link to an email address on that domain, or a one-line tag on your homepage.