f. d. hotell Gibraltar.