hab gerade den 'right margin indicator' ausgeschaltet, ist weiter nicht mehr von interesse...