för varmbadhuset har uppgått till omkring 16 000 kronor.