{ ... }:

{
  i18n.defaultLocale = "en_GB.UTF-8";
  console.keyMap = "de";

  time.timeZone = "Europe/Berlin";
}