Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen