Thanks a lot @colin !
Wouldn’t that be bohring?
I had no idea, so I’m glad you found it.
Until what time will it go on in the Bohr room? I will be in Eindhoven somewhere in the afternoon. Still in southern Spain on a vacation and returning in a few hours.