präzedens saksasta suomeksi