Yeah. People always forget that German names are only useful to shapeshifters because there's a ton of real ethnic Germans over here for them to blend in with.
Interesting, I just assumed it would be "cutter" because a German mechanic I used to work with taught me a tap was called "Gewindeschneider" (or thread-cutter) in German.