Wie schwer ist ein Granit Randstein?