IntroductionOn average, a European spends 90% of his or her life indoors[1]. Together with the time spent at home, the time spent indoors also includes time at work, for instance in offices, sales areas, educational establishments, libraries, hospitals,…