Das Ritual am Ende eines jeden Tages: Fahnen einrollen.