OKRD ist ein Maßbezug auf die --->Oberkante Rohdecke