Ähnliche Einträge: Mutual recognition in federal type systems