Methods or devices for eye surgery