missing holiday definition on 08.05.2025 in Berlin - Germany (de)

[Skulli]

The 08.05.2025 is considered a holiday to mark the 80th anniversary of Liberation
The 8th of may is a single holiday 2025 in Berli, Germany (de).

german name:

80. Jahrestags der Befreiung vom Nationalsozialismus und des Endes des Zweiten Weltkriegs

Source: https://www.berlin.de/en/news/9188766-5559700-oneoff-public-holiday-on-8-may-2025.en.html

Reference: holidays/holidays#434

In addition the 17th june 2028 will be also a single holiday in Berlin.
german name:

75-jährige Jubiläum des Volksaufstands in der DDR.