tigvårdsinrättningen å Gibraltar , hvars fleste byggnader nu äro under tak.