Royal Opera House 22/23: Der Barbier von Sevilla