Instruction Manuals and User Guides for Tools Wachsmuth & Krogmann