what replaced grinding stones for making gypsum rock into plaster