Auf transfermarkt.de wird der Marktwert Marins auf 7 Mio. geschätzt - halte ich für sehr realistisch.