Das glaube ich nicht.

Im tui Katalog ist das Carmen schon drin. Mit neuem Namen.
Schau mal unter hotels etc