Domotec AG acquisisce BUMA Haustechnik AG.