Berlin 8,25 & gt;