Notes on German aggression against the Netherlands