Liebe Entwickler, beim Kopieren kopiert man auch ständig die sonst sehr nützlichen Zeilennummern mit. Es wäre nett, wenn ihr dort nachbessern könntet, denn das Überarbeiten von hier veröffentlichten Papieren macht sonst überhaupt keinen Spaß. :(