Brilliant, thanks. I'll order them tonight.
Well, that went well. First, Bike24 showed a very old address as my "billing address" even though I'd deleted that from Paypal years ago. They wouldn't allow a second "delivery address". I set up a new account with my current billing address, and it decided that my long outdated address was now my separate "delivery address", and wouldn't let me change it.
And people ask why I don't trust things like online tickets, E-tickets, et c.
Eventually cut and pasted the German product name into a search engine and bought the parts at a different shop.
Bike shops are their own worst enemies
I did eventually hear from the Brompton dealer, but we couldn't find a time that worked for them in the last two weeks. His emails were along the lines of "I'm in the shop this afternoon", except that I don't generally have time to read private emails at work, so I'd get them hours too late. A shame as I've been to his shop and we get on well, and I try to send Brompton related business his way.