hauptmannen , stadens borgmästare och magistrat m.