What materials are used for the ceiling of the battery laboratory