My brother is searching for the original of a german carnival song ("winke winke" by "de Höhner" from cologne). He was told the original is an irish song called "Lilly the pink". I found it mentioned in a former thread stating it is a "Ball house song". Does anyone have the lyrics? and what is a ball house song?