Wie viel Beton für eine Rasenkante?