Musical z baśniowo-folklorystyczną treścią. „Pora jeziora” w Operze Krakowskiej