Wie tief setzt man Randsteine?