Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).
* 'master' of github.com:hhu-stups/tla2bAST: fixed maven deployment Conflicts: build.gradle
