Kristoffer Columbus af tysk härkomst?