»Impfmüdigkeit« im Digitalen Wörterbuch der deutschen Sprache (DWDS)