"slack variable" Deutsche bedeutung