Well, the installation was done in five minutes. The device recognized the module as B12 during booting, no further steps were necessary.
It seems to work. After a quarter of an hour warm-up, the signal shows an improvement. I still have to see, if I have comparison images, but the phase noise is obviously lower. Before that, I had a crater-shaped collar at the top of the bell. This has disappeared and the phase noise has decreased by about 7-10dBm (but only from my memory). I am really amazed to see that. In addition, the frequency display is now more accurate and the selective power meter shows the frequency in the last places much more quietly and precisely. So, it looks like the purchase was really worth it.
Edit: Since I was a little too quick, here is a Correction: the measurement accuracy has actually improved, but the phase noise is at best 3 dBm better, not 10 dBm. But I have to check it more closely. At least I can say that the module works well.