K. Stora teatern har underdir.