§ 1257 - Gesetzliches Pfandrecht (BGB)