Good points all around, thank you. I will probably not be reinforcing Dutch defences. Realistically, the loss of the Netherlands might give the Germans a few more channel ports, but it is not going to impact my overall strategic position in Europe enough that it's worth trying down a corps or two of my own. I need all of the extra divisions I can spare for Indochina right now.
"...for who are so free as the sons of the waves?"