Spike of nearly 8,000 mainly due to inclusion of members of far-right Alternative for Germany party; number of far-left and Islamic extremists each up by some 1,500