I found this very interesting German maker of cool cable cutting tools. It's called Jokari.
We should keep it as a reference for the future if we want to buy something like that, ie RF coax cable cutting knives.
http://www.jokari.de/en.htm