Several hundred metres from the first stop, we passed a second restaurant. Outside that restaurant, the above photo shows how much further we had yet to go.
Interestingly, very close by, is the source of the river Elbe, which could be several different trickles of water feeding a larger one, which, further down, clearly becomes the river that stretches all the way to the North Sea. We've seen the Elbe near its mouth, also in Hamburg and Dresden as well as in the Czech Republic. Tracing the Elbe back to its source was never intentional.
After about 20 minutes, we then spent the next two hours climbing down again, all of us very proud of our achievement - a tremendous feat but with now very tired feet.