Pretoria är en af Allanliniens minsta båtar,