[turing_complete]

Masks might be mandated in specific settings, but revealed preference makes it clear: Everybody goes to events, bars, clubs, has private gatherings, there are conventions with tens or hundreds of thousands of people in Germany as we speak. That's what I meant: Most people have moved on from being overly concerned with it.

I finally got covid last month. It wasn't fun, but I had worse colds. I think many people experienced the same thing, and so covid morphed from a looming, unknown horror to a known quantity.