German automakers buy Nokia maps unit for $3.1B | Hacker News Reader