Rasenstecher
[828] Rasenstecher, ein scharfer eiserner Ring von der Größe des Kalibers eines Geschützes. Mit demselben wird das Stück Rasen ausgestochen, welches zum Zwischenschlag zwischen Kugel u. Pulver beim Feuern mit glühenden Kugeln dienen soll.