Why Ceuta is European, and what came of it