WK58 EAF history