[999900000999]

I don’t imagine the German government will allow it to be sold to a non EU entity.

But there’s always NixOS.