StatePol In diesem Repository sind die Coding Schritte für: das Papier in der PVS die Website zur Vorstellung der Datenbank die Konferenzpräsentationen gelistet.