Thanks... alas, it's already late evening (9:30 pm CET+1) here (in Germany), so time to go to bed is nearing... people from further east might be asleep already, without having been able to use that sale. Maybe extending it for a day could be thought of?