Ameisenficker

Etymology
From ; probably a calque of the Dutch mierenneuker.

Noun

 * 1)  annoying person who wastes time by correcting and discussing unimportant details, nitpicker