Did the popularity of baseball have anything to do with the US military’s choice of small round grenades over the German ‘potato mashers’?