How to set the default language for PHP functions

Hi all,
I try to the set the language and / or locale as described in Configuration | Grav Documentation . I want to use german format which should be ‘de’ (also tried ‘de_DE’). Updating user/config/system.yaml did not change anything. Then I tried the Admin Backend with no success. And I tried the settings described in How to set the Spanish language by default? but no success.

My user.config.system.yaml starts like this:

absolute_urls: false
timezone: Europe/Berlin
default_locale: de
param_sep: ':'
wrapped_site: false
reverse_proxy_setup: false
force_ssl: false
force_lowercase_urls: true
username_regex: '^[a-z0-9_-]{3,16}$'
pwd_regex: '(?=.*\d)(?=.*[a-z])(?=.*[A-Z]).{8,}'
intl_enabled: true
languages:
  supported:
    - de
  default_lang: de
  include_default_lang: false
  pages_fallback_only: false
  translations: true
  translations_fallback: true
  session_store_active: false
  http_accept_language: false
  override_locale: false

My user.config.site.yaml has this line:

default_lang: de

Nevertheless, when I use

{{ page.header.date|date(“l”) }}

it still says ‘Thursday’ instead of ‘Donnerstag’ (the german word for Thursday).

What did I miss?

Many thanks!