Translations:Tech:Translating Miraheze extensions/11/de

Der Translatewiki.net-Bot wird die $lang.json pushen, wenn der Export-Bot ausgeführt wird.