Issue #32: Interne Optionen können nun nicht mehr vom Benutzer selbst überschrieben werden