https://blog.roeda-hus.de/2023/05/edinburgh/