Dietmar, yes it was reasonably quick. I send stuff to Germany reasonably often, generally it takes about 6 working days.

The very quickest I have ever known, was something I posted on a Sunday afternoon, it was delivered in Germany on Wednesday German time, which was early Friday Australian time, at the time

Mick.