EU exemption on export credits: is everyone a winner?