{...}:
{
  i18n.defaultLocale = "en_US.UTF-8";
  console.keyMap = "dvp";

  time.timeZone = "Europe/Berlin";
}