text: Pretoria itself was founded in 1855 by Marthinus Pretorius , a leader of the Voortrekkers , who named it after his father Andries Pretorius .
simplified: Pretoria itself was founded in 1855 by Marthinus Pretorius . He was a leader of the Voortrekkers .