Baugips

jeder für Bauzwecke geeignete gebrannte Gipsstein. Baugips wird vor, während oder nach dem Brennen (Kochen) gemahlen; in der Hauptsache verwendet für Stuck-, Rabitz-, Putz-, Estricharbeiten u. a.; Gips .