Spain 3.7GHz auction: Cheaper than the UK at $0.11 per MHz pop