... verdiente Ruhe nach getaner Arbeit.