Jetzt auch hier. Der Update-Prozess auf 18.7.4 lief schon wie gewohnt, wurde aber nicht finalisiert: scheinbar ein Serverproblem n/t