Zatsch der Zwerg, Musikalisches Mitmachtheater für Kinder