Chef för stridsdomarne ärgeneralmajor