That's it, I cleared temp cache and afterwards everything was as expected. (This is strange, for sooner I had clicked on "Clear All cache" several times. Obvously "all" does not really mean all here?) Thank you very much!