@vain@www.uninformativ.de Thanks, but in reality it was of course much nicer.