The German term "Punsch" matches the English term "punch"