officiella sorgtiden var ute och de arma komedianterna icke längre behöfde sörja , hvarken af det.