Badeschiff, Berlin: The coolest pool in Germany.