According to the RAF at the time, Dresden was Germany's seventh-largest city and the largest remaining unbombed built-up area. Taylor writes that an official 1942 guide to the city described it as "one of the foremost industrial locations of the Reich" and in 1944 the German Army High Command's Weapons Office listed 127 medium-to-large factories and workshops that were supplying the army with materiel. Nonetheless, according to some historians, the contribution of Dresden to the German war effort may not have been as significant as the planners thought.