The Craighero–Gattazzo surface is simply connected