Seems to have been resolved (“hat sich erledigt”) using ADWCleaner (though the link on the “logs to assist” page led to a seemingly older version of ADWCleaner than on the picture). Thanks for the tip.