In Eindhoven a man was shot dead in his car on Saturday night, the police reported. The police think they know who it is, but have not yet revealed the identity of the victim.

"The king is dead, long live the king!"