A good robust functional should, if possible, be efficient at the model, smooth, and have a high breakdown point. M-estimators can be made efficient and Fréchet differentiable by choosing appropriate ψ-functions but they have a breakdown point of at most 1 (p + 1) in p dimensions. On the other hand, the local smoothness of known high breakdown functionals has not been investigated. It is known that Rousseeuw's minimum volume ellipsoid estimator is not differentiable and that S-estimators based on smooth functions force a trade-off between efficiency and breakdown point. However, by using a two-step M-estimator based on the minimum volume ellipsoid we show that it is possible to obtain a highly efficient, Fréchet differentiable estimator whilst still retaining the breakdown point. This result is extended to smooth S-estimators. © 1992.