formatierungsänderungen und anpassung der Tab-Länge in der
PseudoCodeView