Nederlands ondervlotten Frans flotter Duits flottieren Engels float