Rechtschreibfehler weg, tubenlemma bild dazu, heine borel