går han under namnet » jernkungen » ( eller » oljekungen » ),