högtidligt tagit afsked af Pontonierbataljonen.