Hi Hilmar!

>Most people here on the UT use < PRE > ... and instruct to omit the spaces. IMO, this requires less explanations! The same for most other tags.

Thanks for the hint! I was unsure, if using the angled brackets (I've learned that now <g>) would work. But now typing this message, I could have given the answer myself, <g> does work - so why shouldn't < pre > work ... Well, it's past 01:00 am here, so this might be the cause for not thinking about that :)

Regards,
Armin