öfverintendenten m . m.