The works of Gildas — English translation of a 6th-century work by Gildas, translated by Thomas Habington and John Allen Giles