During World War II, when did Germany attack France ?