tree 86ebb00cfeedb86152d0d82261c7b99e3c48e347
parent 556c54d8ebb0154a8ac2ecbcb94408c0cc95c42a
author Zesstra <zesstra@zesstra.de> 1600814437 +0200
committer Zesstra <zesstra@zesstra.de> 1601321620 +0200

leave(): nicht existierende Ebenen behandeln

Aus nicht-existierenden Ebenen austreten sollte keinen
Fehler ausloesen.
Es ist sogar erfolgreich, damit das Spielerobjekt diese
nicht mehr weiterhin speichert.

Change-Id: Ibe2841cfe066775e601b33acf0a5e18750cf5f50