How many countries does --- RECORDSEPARATOR --- Germany share borders --- RECORDSEPARATOR --- with?