Craig-Interpolation