[B.F.M. Droog]

Thank you, Peter - everything points to the twelfth of May for this attack.

About the times-question I've been asking around and this is what I learned:

10/05/1940 until 00.00 hrs 16/05/1940

D: GMT + 2 hrs (summertime)
UK: GMT + 1 hr (summertime)
NL: GMT + 20 minutes
B: GMT
F: GMT

So Dutch (Amsterdam) Time, 10/05/1940, 12.00 hrs
was: 13.40 hrs German Time
and: 12.40 hrs UK Time

Starting 00.00 hrs 16/05/1940

D and NL: GMT + 2 hrs
UK: GMT + 1 hrs

Summertime started in Germany on ? (early spring?) 1940
Summertime started in the UK in February 1940

I assume in Belgium and the occupied part of France the German (Middle European Time) was introduced shortly after the capitulations of both countries. Am I correct in thinking so?