Hi, I would like to change the status of bug 4322 to FIXED, but I'm not 'empowered' to do it. Whom do I have to talk to? Bye, -- Michael Jung mjung at iss.tu-darmstadt.de