Ein Baumaterial im Bergbau, das aus Zement und Wasser besteht und zum Verstärken von Gestein und Erde verwendet wird.