By the way, the word “earworm” is a direct translation of the German “Ohrwurm.” I first heard this very expressive term in the 1990s from a German girlfriend.
Trivia of the day.