Title: Central bank forex intervention assessed in continuous time