tinläroverk ; generaldirektören m . m.