The age-old story of Don Juan, played by giant puppets.