Next problem: Without paying an arm and a leg (and waiting for ages for it to arrive in the mail), such a bolt cannot be procured. But see what I did: I "reused" the broken off old bolt by drilling all the way thru (using a drill in a stand and HSS Co drill bits, starting with small drill bits and using bigger ones thereafter. The result was perfect.