I think Juchei di, juchei da (or Juch heidi, juch heida?) is a common refrain in German folksongs, and the tune sounds vaguely familiar. I'm almost sure I've heard German words to it. WassaiL! V