›Vertragsstrafe, vertraglich vereinbarte oder gerichtlich festgesetzte Buße, Pfand‹;