Var Kristoffer Kolumbus af tysk härkomst?