Fehlermeldung: Finite domain constraints declarativity meets efficiency - theory meets application