MediaWiki:Badfilename

Ich mag einige Zeichen des Dateinamens nicht, deshalb habe ich den mal in „$1“ geändert.