gräns rakt utdragen till Gibraltars östra gräns , jemte en manbyggnad medtillbyggd