DigiLeitner backend version 1.9.2