Notes to "Die Rundköpfe und die Spitzköpfe" (description of the Copenhagen production)