What is the name of the song sung by Conrad Veidt and Valerie Hobson while sitting in the restaurant? He says it's an old Danish navy tune. Does anyone know the words, either in Danish or English?