[927] Wasserzucker, so v. w. Wassertonne od. ein Pumpwerk zum Heben des Grubenwassers.
Pierer-1857: Wasserzucker [2]