I had this in my head for ages, but couldn’t work out how to do it.  It turns out Happy Happy People by Yazoo is a popular song in Poland!