Im Stephansdom müssen Masken getragen werden.