de k. teatrarnes personal och kommendanten.