Mario und der Zauberer - Mann, Thomas (Mario und der Zauberer, 1958)