{
  "name": "Kerstmarkten.info",
  "short_name": "Kerstmarkten",
  "description": "Kerstmarkten in Duitsland — actuele openingstijden, locaties en praktische tips.",
  "lang": "nl",
  "start_url": "/",
  "display": "standalone",
  "background_color": "#FBF7EF",
  "theme_color": "#173D2D",
  "icons": [
    { "src": "https://media.base44.com/images/public/6a6606cdc1b85bf870bdc698/9ba160e2e_Kerstmarkteninfo-flavicon.png", "sizes": "192x192", "type": "image/png", "purpose": "any" },
    { "src": "https://media.base44.com/images/public/6a6606cdc1b85bf870bdc698/9ba160e2e_Kerstmarkteninfo-flavicon.png", "sizes": "512x512", "type": "image/png", "purpose": "any" }
  ]
}