import re

with open('/home/maxi/Projekt/grimhold.waiswuaschd.de/app/static/app.js', encoding='utf-8') as f:
    js_ids = set(re.findall(r'getElementById\([\'"]([^\'"]+)[\'"]\)', f.read()))

with open('/home/maxi/Projekt/grimhold.waiswuaschd.de/app/templates/index.html', encoding='utf-8') as f:
    html_ids = set(re.findall(r'id=[\'"]([^\'"]+)[\'"]', f.read()))

missing = js_ids - html_ids
print('IDs in JS but missing in HTML:', missing)