Anm.: Das automatische Server-Update via git funktioniert von `gitlab1.ptb.de` aus nicht mehr. Es ist daher nötig, im Verzeichnis des installierten Servers (`a73434`, `/usr/local/share/bur`) händisch `git pull` aufzurufen. Das Vergeben der Tags (s.o.) sollte aber beibehalten werden (RN, 2023-04-17).
