Bin jetzt nach folgender Anleitung vorgegangen:
receptorBlog Howto: Full root on Samsung Galaxy habe dabei aber das Recovery Image von hier
receptorBlog Nandroid gets working, New recovery image genommen. Scheint geklappt zu haben (OverclockWidget lässt sich starten). Danke!