A quantum propagator for electrons in a round magnetic lens