Original: Pretoria itself was founded in 1855 by Marthinus Pretorius , a leader of the Voortrekkers , who named it after his father Andries Pretorius .
Simplified: Pretoruis named the city after his father Andries Pretorius .