BATTENDORF: see BATIN
.