I have come to the conclusion that it's more likely Tange than Columbus, but it would still be nice to know for sure.