thank you both
Attila, I have passed on the messy tent advice from your link, I'm sure he'll have no problems with that.
He has been to the police this afternoon, & a nice friendly German with good English went along with him to translate if required
, so that's the first thing out of the way.
The nearest consulate is Dusseldorf; they are going there anyway on Tuesday, before flying to Spain on Wednesday. I spoke to a very nice man at the FO this afternoon & he said if DS rings Dusseldorf asap on Monday that'll be fine, & then he can go there on Tue to sort out his emergency travel document. I was a bit worried about his passport being used for nefarious purposes before it's blocked but he said that's highly unlikely in such a short time.
Travel doc will be c £95, & FO man said I can pay over the phone with credit card, no probs. The process might take several hours though.
He has excellent travel insurance, Attila, I made him - mostly because he has had serious knee injuries in the past & I wanted to be sure that in the (unlikely) event of him being laid up again we could get him home - I wasn't expecting this!
I said I'd pay, so we paid extra for "comprehensive" cover (much more extensive) & also extra for excess waiver, but even so it was only £38 for 2 weeks & it covers max £200 in lost cash (he reckons he had about 250 euros) & up to £500 in lost passport expenses. "Basic" cover was £20, & that didn't cover lost passport. He will be a lot more cautious about travel insurance in future, I reckon.
The wording says:
'If you lose your passport whilst on your trip, we will pay up to the amount shown in the table of benefits towards any reasonable travel and accommodations costs incurred by you and deemed necessary in order to obtain a new passport or equivalent consular document.'
I'm guessing that means he can't claim for the cost of a new passport once he gets home again as well as the emergency travel document? Will ask though.