Martin Kraus era hijo de Martin Krauß "senior" (ca.