sS germanTimeZone_string() {
  ret "Europe/Berlin";
}