Loch in lokaler Ersetzung

[Bernhard Eversberg]

Nochmals zu diesem Problem:
Kollege Fischer meinte

> ... Ich nehme an, daß dieses Verhalten daher
> kommt, daß das Leerzeichen hinter der Kategorienummer nicht ersetzt werden
> darf :
>  #10 irgendwas etc. ,
genauso ist es,

> aber es wäre schön, wenn dieser Bug mal behoben werden könnte.
>
und genau deshalb ist es kein Bug, sondern absichtlich eingebaut, damit
man sich keine Daten unabsichtlich verfaelscht.
Mit dem von D. Hoeppner angegebenen Trick

#10 p"ZZZ" ,"_ __" ,"_ZZZ__"

kann man die Sache ja elegant umgehen.

MfG B.E.

Bernhard Eversberg
Universitaetsbibliothek, Postf. 3329, 
D-38023 Braunschweig, Germany
Tel.  +49 531 391-5026 , -5011 , FAX  -5836
e-mail  B.Eversberg at tu-bs.de