Wie breit muss rasenkante für Mähroboter sein?