Domotec AG akquiriert die BUMA Haustechnik AG.