Hubble Trivia 17 How wide is Hubble’s primary mirror