Translation of "Spitzenkessel" in English