Wie kalt/warm sollte ein Ladeluftkühler sein?