Tony Hibbert, a British Army officer during World War II, fought in what German invasion of France?