SMS versenden: On global optimization using interval arithmetic.