Wie groß wird ein Senfkorn?