That's an interesting comment, Hutschi. I would include the "ungefähr" with 200, but not with 212, or, 184, for example. Whereas, you feel that 200 is purposely already rounding it, so you don't need the "ungefähr"? Maybe I misunderstood. Regardless, it's interesting to think about the difference.