Bei der Glock 17, Kaliber neun Millimeter, mit der ein 18-Jähriger der am Freitagabend in München neun Menschen und sich selbst erschossen hatte,…