ACM 3
Erstellung der SAT-Datenbanken für ACM 3
sat_db.xml laden:
ACM Listen: