[ 871 . magistraten.