har fördubblats , och der ännu gasbelysning fanns på scenen , har denna utbytts mot elektriska lampor.