The roof of the old part of the indoor market in Leeds