On 10/04/2013 12:15 PM, DaB. wrote:
> I got no mail, but MediaWiki logged me out and forced me to change my
> password (so I guess that I’m affected).

Well, the email was indeed sent to you:

2013-10-03 06:57:40 1VRcqy-0000fo-78 => dab.@gmx.de <DaB.@gmx.de>
R=wiki_mail T=remote_smtp S=3309 H=wiki-mail.wikimedia.org
[208.80.152.133] C="250 OK id=1VRcqy-00086y-Gf" DT=0s
2013-10-03 06:57:40 1VRcqy-0000fo-78 Completed

so I guess it ended up in your spam trap or something?

-- Marc