Hawking's 'gravitational instanton' problem solved 45 years ago