Heckler & Koch vs. Haenel: What was it all about?