Wie tief Erdkabel unter Pflaster?