Was ist aus den deutschen Werften geworden? - Einführung