Fix #3711.

Umbenennen des cli-Kommandos "migrate:matrikelnummer" in Moritz' Vorschlag "db:move_matrikelnummer".

Merge request reports

Loading