Wie viel kostet ein Leatherman?