Addendum 18.05.2022: Price is still stable.
Addendum 29.05.2022: Price is still stable. Addendum 04.06.2022: Price is still stable. Addendum 09.06.2022: Price is still stable. Addendum 16.06.2022: Price is still stable. Addendum 15.07.2022: Price is still stable. Addendum 10.09.2022: Price is still stable.