One of the two LED daytime running lights had broken. Since the lid was loose for maintenance, I immediately renewed both.
Yesterday I asked Velomobiel.nl which lights they use for this. They are these that they order in large amounts at Conrad, they are most likely not for sale at a local electrical store.
Today I already received two new LED lights from Theo by post.
Fabulous service by Velomobiel.nl!