skulle nära dubbelt så stor mängd cement hafva måst tagas till lika mängd grus.