[ 20 ] ^ ISIDOR TROLLE.