Dresden 1972 - Interhotels „Bastei“, „Königstein“ und „Lilienstein“