tiden , då officerspaviljongen var denenda