My God, I forgot that I enabled scripting for Wikipedia. Yes, you are right, it is processed by Javascript. When I switch it off, it doesn't work anymore. I was confused, because scrolling to a normal (?) fragment like in https://en.wikipedia.org/wiki/Ice_age#Major_ice_ages does work without...