Will assume that it's halving the speed :-/
It is possible that the card halves the clock for the CPU but passes the full clock speed to the FPU. If you had a frequency counter you could check that.
The only thing I'd wonder is why it had a crystal that was too slow fitted in the first place. It is possible that the halving was jumper selectable, but unfortunately I don't speak german & so the pdf is no help.