Den kungl , stora teatern i Stockholm är — som ofta nämts — i högsta grad otidsenlig.