Torfstichgeräte: Grabscheit, Torfmesser und Torfkarren