A History of European Puppetry: From Its Origins to the End of the 19th Century