Many of the essential mining techniques described in this chapter were pioneered together with Peter Weißgerber and Thomas Zimmermann [Zimmermann et al. 2004], who deserve our eternal gratitude. Yana Mileva, Nadja Altabari, and Clemens Hammacher provided helpful comments on earlier revisions of this chapter.