general-intendenten , m . m.