hvilket för sommaren hyrt Djurgårdsteatern.