A search using GEO600 for gravitational waves coincident with fast radio bursts from SGR 1935+2154 — arXiv2