Autor - Lamport, Leslie (deutsch)