Donald Trump will, dass der Golf von Mexiko nicht mehr so heißt. Google leistet dem nun Folge, zumindest in den USA. Aber auch hierzulande ändert sich etwas.