Ernst (Frederik Pohl) Mason