Hi all - has anyone booked a hotel for Berlin yet? I liked the one I stayed at last time but can't entirely remember the name of it. Chris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.vse.cz/pipermail/sc34wg4/attachments/20140116/caac0cae/attachment.html>