The German term "Weltmeer" matches the English term "ocean"