Kommendanten på Teneriffa afrättad.