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