As an Austrian I'd like to note: We've also previously had a vaccination mandate for smallpox. There's a precedent here, at least.

Whether you're for or against a vaccination mandate I leave up to debate. But either we get everyone vaccinated or everyone needs to actually follow proper COVID rules. The second option hasn't worked out great so far, as you might be able to tell.