refactoring: rename code retrieval function

src/routes/(angemeldet)/view/+page.server.js

@@ -32,7 +32,7 @@ export const actions = {
 		// Jetzt prüfen, ob Code vorhanden ist und
 		// dem eingegebenen Code entspricht
 
-		const token = await codex(caseNumber);
+		const token = await get_code_or_null(caseNumber);
 		console.log(`xxx ${token}, ${user_token}`);
 
 		// token vorhanden, check ob gleich sind
@@ -51,7 +51,7 @@ export const actions = {
 
 // returns `code` oder `null`
 
-async function codex(vorg) {
+async function get_code_or_null(vorg) {
 	const code_name = '__perm__';
 	const obj_path = `${vorg}/${code_name}`;