750,000 kronor till Stora teaterns ombyggnad.