Jun 30Almost 60,000 far-right extremists in Germany, intelligence agency saysSynthesized from 1 source