a stage show we didn't know about

does anyone knows that there was another old Postman Pat stage show back when adventures and happy days was made.

the show was called Postman Pat's happy christmas.