Industrial building – documentation for a building permit