"jacketed vessel" Deutsche bedeutung