Hoe dik moet PIR isolatie zijn? - Isolatiehal