, / den midt emot kungliga estraden befintliga läktaren.