Budapest a giugno: Il resoconto del viaggiatore intelligente