Berlin Anybody know if today is a holiday in Berlin. There are no price quotes for Gtel today over there. TIA