Die Hafenfleischerei.