Germany officially declares war on the Netherlands, 2017