slut på trettioåriga kriget.