{ ... }: {
  time.timeZone = "Europe/Berlin";
}