Does DC City Gov pay more than DC Fed workers?

Is it me or does DC city government workers high level get paid more than dc Fed gov GS 15s?

This seems higher - District of Columbia Chief Financial Officer- $209k- $254k