Just to edit my last post (because PPRuNe doesn't appear to want to allow me to edit my posts. I have to sign in anew and then can only make a new post but not edit an earlier one. Perhaps it's because I don't allow cookies.... I've told you all several times how paranoid I am), I meant to write "Ctrl+Alt+something else" near the end and I missed out a space earlier on.