¿Cómo se conoce también a la ópera de Wagner "El buque fantasma"?