CEST timezone

Is it a bug or CEST timezone is not supported anymore ?
I can't import my 7.1.2 database to current development version of
postgresql


lis=# create table test (ts timestamp);
CREATE
lis=# insert into test values ('23.05.2000 09:06:59.00 CEST');
ERROR:  Bad timestamp external representation '23.05.2000 09:06:59.00
CEST'
lis=# insert into test values ('23.05.2000 09:06:59.00 CET');
INSERT 125614 1
lis=# select * from test;           ts
--------------------------23.05.2000 10:06:59 CEST
(1 row)
lis=# select version();                           version
----------------------------------------------------------------PostgreSQL 7.2devel on i686-pc-linux-gnu, compiled by
GCC2.96
 
(1 row)

lis=#


Jan Varga