SMS dit: Argumente für eine Typenidentität von Eigenschaften