"punched tape control" Deutsche bedeutung