Calendar Update: What Happened on May 13th?

This is a calendar update detailing events that occurred on May 13th. It provides a factual overview of news stories from that date. The update focuses on significant events within Germany.

Summarized from the sources above. Read the originals for the full story.