schärfen von kleinen, abgekröpftern Hohleisen