{
  time.timeZone = "Europe/Berlin";
  location = {
    latitude = 52.517;
    longitude = 13.3872;
    provider = "geoclue2";
  };
}