The actual size of where the dining hall in harry potter was filmed