Frenchmen at a German duty station in the occupied Paris, 1940