[532] Annetzpinsel, kurze, dicke Pinsel, mit welchen der Maurer den Abputz an Mauern bespritzt, um ihn mit dem Reibebret abzureiben u. zu glätten.