Le patron d'Amazon Games, Christoph Hartmann, quitte le navire