Wie der Dreißigjährige Krieg beendet wurde