@Martin ********
yes that was September, under the emergency decree. Mask requirements should theoretically have been lifted since October 1. Prior to that, effective June 23, the government lifted the mask mandate but some settings still applied their own mandates until the end of the emergency decree.