Translations:Category:Extensions migrated from Wiki-Tools/1/de

$1