som f. d. hotell Gibraltar.