alle Zahlen in Constraints werden durch konkrete Namen ersetzt