"extension type" Deutsche bedeutung