Torpedo Hall in Holmen, Copenhagen. Fabulous adaptive reuse of an old boat house