Berlin : Ernst & Sohn,