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