öfwerintendenten m . m.