[The_Lord_of_Midnight]

Danke, werde es ein paarmal probieren wie von artic beschrieben.
Aber wenn der Hinweis von Jack stimmt, dann gibt es wohl keine andere Lösung als:
1.) Auf das Update von Samsung warten
2.) Das betreffende Factory Image zu flashen.

Falls ich mich doch irgendwann dazu entschließe, ich bin mir nicht sicher, welches das passende Image wäre ?
https://developers.google.com/android/nexus/images

1. Factory Images "yakju" for Galaxy Nexus "maguro" (GSM/HSPA+)
   1. Android 4.0.4 (IMM76I)
   2. Android 4.1.1 (JRO03C)
2. Factory Images "takju" for Galaxy Nexus "maguro" (GSM/HSPA+) (with Google Wallet)
   1. Android 4.0.4 (IMM76I)
   2. Android 4.1.1 (JRO03C)
3. Factory Images "mysid" for Galaxy Nexus "toro" (VZW CDMA/LTE)
   1. Android 4.0.4 (IMM76K)