Kiel, die Norddeutsche Werft um 1878.