Gibraltar är nedsatt från kr.