Die Fröhlichen River-Kwai-Musikanten