Wie viel Beton unter Randstein?