„Karlsruher Richtschwert“, um 1772