Prototyp eines Deadlock-Checkers für Zusi