Gibbons–Hawking ansatz