German intelligence helped US in search for Bin Laden | Hacker News Reader