Translation of "Hohlbeitel" in English