Sorry your Grace, just one of my rotten puns, the word zimmerman is an German occupational surname, and means a carpenter. The middle initial should be A for Allen, put it down to my advancing years.
Giok