user: Question: What is the official name of the municipality whose name in Spanish is Cripán?
Columns: ['Official name', 'INE code', 'Name in Spanish', 'Name in Basque', 'Population (2007)']
Types: ['text', 'real', 'text', 'text', 'real']
Sample row: ['Alegría-Dulantzi', 1001.0, 'Alegría de Álava', 'Dulantzi', 2305.0]
SQL:

assistant: SELECT "Official name" FROM "Table" WHERE "Name in Spanish" = 'Cripán';