Definition of "Hofmannsthal" :

Definition: "Hofmannsthal" is a biographical name.