Hab's jetzt auch gefunden. Um kurz nach 4 vorhin irgendwann war's noch nicht da. Egal.

Hab den Download vorhin versucht über die App anzustoßen (die in mancherlei Hinsicht wirklich sehr benutzerunfreundlich ist); die PS4 ist seit heut morgen im Ruhemodus. Mal schauen, ob's geklappt hat, wenn ich zu Hause bin.