Berlin * 8,40 & gt;