Yes you are correct train TR5225 arrives at 13:35.
Can you verify the departure time for that train again please?
train-arriveby train-day train-departure train-destination
train-arriveby train-day train-departure train-destination
train-arriveby train-day train-departure train-destination
train-arriveby train-day train-departure train-destination