For anyone wondering whether BlueSky really works federated: yes, it does.

I migrated my account to https://eurosky.social/ via https://www.eurosky.tech/signup.

It was absolutely hassle-free. Afterwards, I simply entered eurosky.social as the server when logging in. Followers, content, etc. – everything was still there.