Hocker would - without much doubt - have destroyed Jakob and the WR had he run the mile instead of the 3000m in Lievin.
People apparently don´t understand how great Hocker´s and Fisher´s performances were in the 3000m.
Considering that Hocker probably is relatively better in the 1500m/ mile than in the 3000m it seems certain that he would have won the Mile easily had he run this instead of the 3000m.