Dresden 1957 - HO Waldpark Hotel, Hotelhalle