Johann Christian Berndt, Plan von Gibraltar