metrics.json could use more data

Carefully select what should be part of that generic json file. I'm sure we need more data there. But not arbitrary data, as it will grow definitely and its very hard to remove anything from it.

Beginne damit, metrics.json zu lesen und die vorhandenen Felder sowie deren Verwender zu überprüfen, um zu verstehen, was die generische Datei darstellt. Lege fest, welche zusätzlichen Daten begründet und dauerhaft sind, aktualisiere dann die Datei nur mit den ausgewählten Metriken und verifiziere, dass die vorhandenen Tools sie weiterhin korrekt verarbeiten.

Vom Indexierungsmodell aus dem Issue-Text verfasst.