Wie lange wandert man auf den Wendelstein?