En Allemagne, tout un quartier chauffé par une pompe à chaleur fonctionnant à l'eau de mer