Von der starken Verschmelzbarkeit zur Modularität der quantifiziererfreien Interpolation