Helpers

Hier sind einige Hilfswerkzeuge gesammelt, die nicht unmittelbar mit dem Wörterbuch zu tun haben.