3 ms·

I don’t imagine the German government will allow it to be sold to a non EU entity. But there’s always NixOS.