Berlin's pink pipes: What are they? | Hacker News Reader