static TimeZone germanTimeZone() {
  ret timeZone("Europe/Berlin");
}