Employees
| Concept | As at 2023-12-31 | As at 2022-12-31 | As at 2021-12-31 | As at 2020-12-31 | As at 2019-10-31 | 
|---|---|---|---|---|---|
| Employees | |||||
| Information about group | |||||
| Number of employees of group | |||||
| Number of employees | 
                                                15
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                13
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                11
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                10
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                9
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
| Average number of temporary employees | 
                                                
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             |