Erzielung eines angenehmen Wärmeklimas in stark frequentierten sich ändernden Bereichen mithilfe von an der Decke montierten Infrarotheizern