modified: katrin-web/katrin/models.py - change adminid type