Rotterdam, Rotterdam centrum, Rotterdam downtown, city, Holland, Rotterdam Market Hall, market hall