Das Basisaustauschlemma.