Sorry, i cant remember 100%.  I was there last summer, but my app seems to have reported just now. Maybe in an earlier map version there was a walkway? So better don't touch anything.. ;-) Greets from Germany.