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 GCC 2.96
(1 row)

lis=#

Jan Varga