A library to check account numbers and bank codes of German banks