Ist Otto ein deutsches Unternehmen?