Not sure if it was ever published, but I saw a version of Peter Pan in Munich; I think in 1998.
It had a soundtrack featuring German punk-rock; I've been trying to find a copy on CD (I tknow there is one, but I've forgotten the band!).... I was thinking "Ace of base" (but they're not German) or the Aerzre (but couldn't find anything relating to PP recorded by then.

The actors were all dressed like grubby children and it was played in the open air; I think in the theatre district on a stage built on the road during the summer months.

Sorry that I remember frustrating little; if I do recall the band, I'll recod it here.