On the maps in Germany, it still says Gulf of Mexico ... including the one in Penzberg in Upper Bavaria, whose Lake Huber, also known as HuberWeiher, had briefly been renamed the Gulf of Huber.