EXOSAT observations of V471 Tauri - A 9.25 minute white dwarf pulsation and orbital phase dependent X-ray dips | doi.page