Category:EditFilter extensions/de