To my great surprise, older ART versions (1.23, 1.25.0, and 1.25.1) also show roughly the same values, each about 10 lower than expected. Now I suspect that it might have something to do with the settings in ART, which I may have accidentally changed. However, I see that the values in Working Profile do not fluctuate by more than ±1, so that alone cannot be the cause.
Is there a setting in ART that could influence this?
I found the operating error: I had clicked here: working profile. When I turn it off again, everything is back to normal.
It was my mistake, not a bug.
What surprises me is that the colors displayed are the same, only the L a b values in the color picker differ significantly.