Royal Theatre, Stockholm.