It's a common form of murder in films and TV - but garroting was once the official form of execution in Spain.