{
  "name": "Tintenblau",
  "extension": "local.theme-tintenblau"
}