DINIS König v. Portugal