But we have to state somehow that default extensions (like WebDocs or something) are still enabled.

(Aber wir müssen irgendwie erkennen lassen, dass Standard-Erweiterungen wie WebDocs und andere immer noch aktiviert sind)