Benutzung des GLPK etwas optimiert.