Verifizierung und Optimierung einer Graph Datenbank I Supper & Supper