Permanent water leak detection installation saves millions of krone in Copenhagen