Ein Verfahren der Raumzerlegung als Grundlage zur Pr?fung von Geometrie und Topologie digitaler Bauwerksmodelle