text: Faust or Faustus ( Latin for `` auspicious '' or `` lucky '' ) is the protagonist of a classic German legend .
simplified: Faust or Faustus is a character from German legendary stories . His name comes from a Latin word meaning `` lucky '' .