Ist die Schifffahrt auf dem Vierwaldstättersee eingestellt?