I’m the reverse engineer who did the fan translation in 1997 with two friends of mine. I know you think that Butz is a silly name, and I agree, but that’s what it is. His name in Japanese is バッツ (battsu), not バーツ (ba-tsu) as it would be if Bartz were intended. Various Japanese documents also showed his name in Latin…