{ ... }:
{
i18n.defaultLocale = "en_GB.UTF-8";
console.keyMap = "de";
time.timeZone = "Europe/Berlin";
}