KIT Smiley West corrected

This IFC4 dataset is based on the known Smiley West dataset from the KIT IFC Examples, original author: Institute for Automation and Applied Informatics (IAI) / Karlsruhe Institute of Technology (KIT). The original dataset contains 27 illformed IFC entity instances of type IfcMaterialProperties which render the file invalid according to the schema. These took the following form with the mandatory "properties attribute" - cardinality S[1:?] - erroneously populated with a list of undefined elements - ($,$): #73244= IFCMATERIALPROPERTIES('Pset_MaterialThermal',$,($,$),#73235); These 27 entity instances where not refered to from any other entity and could thus be safely removed for the corrected version. Moreover, entities of the resource layer (like IfcMaterialProperties) cannot exist independent of non-resource entities according to the standard and thus these instances should be removed anyway.