Translation of "Hairsplitter" in German