House-building proptech operating portals fertighaus.de, massivhaus.de, bungalow.de and einfamilienhaus.de.