Velkovévodkyně z Gerolsteinu (opera)