Title: Warship building and repair during the Second World War