då frågan gjorts , så må till jemförelse upplysas , att det nya , större formatet för tioören är 15 millimeter , för tjugufemören 17och