«Пеппи Длинный чулок». Мюзикл