First things first: Thanx again for delivering the first ('emergency'-)patch so soon! In the meantime we ('the customers') have hunted down quite a bunch of further bugs (You know them all), which will hopefully be removed in the second patch. Any clue/hint, when it will be done?
Hartmann
Hartmann