Title: Hofmannsthal's Festival Drama.