Wie tief müssen Randsteine gesetzt werden?