Berlins börs noterade i går: