Thanks Matt Finley and Rustyspoon for the good suggestions.
The styles counting did not change. So I decided to go for a slow rebuild. Strangely 3500 styles, classified as user or 3rd-party styles, were added and now the counting is again correct (11900). But I never made user styles or added 3rd party styles. I have no explanations.
Kind Regards
Angelo