{
  "name": "MP4 zu GIF Konverter",
  "short_name": "mp4gif.de",
  "description": "MP4-Videos lokal im Browser in animierte GIFs umwandeln.",
  "start_url": "/",
  "display": "standalone",
  "theme_color": "#991b1b",
  "background_color": "#fafaf9",
  "icons": [
    { "src": "/favicon.svg", "sizes": "any", "type": "image/svg+xml" },
    { "src": "/favicon-32x32.png", "sizes": "32x32", "type": "image/png" },
    { "src": "/favicon-16x16.png", "sizes": "16x16", "type": "image/png" },
    { "src": "/apple-touch-icon.png", "sizes": "180x180", "type": "image/png" }
  ]
}