chef för mariuförvaltningens intendentafdelning.