Re-used in https://www.heise.de/tp/features/Spanien-Koenig-Juan-Carlos-hat-den-Putsch-organisiert-4319643.html