リヒャルト・デデキント loading ...