Royal Opera House’s Mayerling