src/jdk.localedata/share/classes/sun/util/resources/ext/TimeZoneNames_de.java

*** 665,677 ****
              {"Asia/Macau", CTT},
              {"Asia/Magadan", new String[] {"Magadanische Zeit", "MAGT",
                                             "Magadanische Sommerzeit", "MAGST",
                                             "Magadanische Zeit", "MAGT"}},
              {"Asia/Makassar", CIT},
!             {"Asia/Manila", new String[] {"Philippinische Zeit", "PHT",
!                                           "Philippinische Sommerzeit", "PHST",
!                                           "Philippinische Zeit", "PHT"}},
              {"Asia/Muscat", GST},
              {"Asia/Nicosia", EET},
              {"Asia/Novokuznetsk", KRAT},
              {"Asia/Novosibirsk", NOVT},
              {"Asia/Oral", new String[] {"Oral Zeit", "ORAT",
--- 665,677 ----
              {"Asia/Macau", CTT},
              {"Asia/Magadan", new String[] {"Magadanische Zeit", "MAGT",
                                             "Magadanische Sommerzeit", "MAGST",
                                             "Magadanische Zeit", "MAGT"}},
              {"Asia/Makassar", CIT},
!             {"Asia/Manila", new String[] {"Philippines Standard Time", "PST",
!                                           "Philippines Daylight Time", "PDT",
!                                           "Philippines Time", "PT"}},
              {"Asia/Muscat", GST},
              {"Asia/Nicosia", EET},
              {"Asia/Novokuznetsk", KRAT},
              {"Asia/Novosibirsk", NOVT},
              {"Asia/Oral", new String[] {"Oral Zeit", "ORAT",