md:term Navigator
generic
Werkzeug
Hammer
Hammer (Wolferts-)