code: public int getColumn(int pos) {
  	int line = getLine(pos) - 1;
  	if (line == 0) return pos + 1;
  	return pos - lines[line - 1].intValue();
      }
docs: Gibt die Stelle in der Zeile auf die pos zeigt zurueck.
  
  @param pos Position von welcher die Zeile erfragt wird
  @return Position innerhalb der Zeile.