Hier steht unter old_name „Haus Königstein“. Wenn das so ist, dann müsste beim IBIS „Haus Königstein“ auch ein anderer old_name eingetragen sein. Ich glaube aber eher an einen Übertragungsfehler und dieses Haus hier hieß früher „IBIS Hotel Haus Lilienstein“, ganz früher Interhotel oder sowas ähnliches.