Examine source code of Mainzelmännchen_01

{
  "theme": {
    "images": {
      "theme_frame": "header.png"
    },
    "colors": {
      "frame": "#e6e6e6",
      "tab_background_text": "#cf0000"
    }
  },
  "version": "2.0",
  "name": "Mainzelmännchen_01",
  "manifest_version": 2,
  "description": "Die Mainzelmännchen sind sechs Trickfiguren, im ZDF vor allem Werbetrenner. Anton, Berti, Conni, Det, Edi und Fritzchen.  Ihr Name geht auf die Stadt Mainz, den Sitz des ZDF, und auf die Heinzelmännchen zurück. Ihr Erfinder Wolf Gerlach."
}