sänktes och höjdes stjernbanéret tre gånger till afskedshelsning.