What was the commonly used name for the rifle that was replaced by the Gewehr 98?