Sept. 26, 2020, 3:33 p.m. -  tux.

Das Update - ganz ohne den Dockerscheiß - hat exzellent funktioniert. Nur das mit dem nötigen Upgrade des Datenverzeichnisses ist immer etwas anstrengend.