Puppentheater international (Henschelverlag, 1980)